Loop invariant - PDFSEARCH.IO - Document Search Engine

Loop invariant
Results: 48

#	Item
41	09301 Abstracts Collection Typing, Analysis and Verication of Heap-Manipulating Programs Dagstuhl Seminar Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2010-02-24 02:50:07 Logic in computer science Programming paradigms Program logic Programming language semantics Substructural logic Separation logic Class invariant Invariant Loop invariant Theoretical computer science Software engineering Mathematics
42	Microsoft PowerPoint - GKShort.ppt Add to Reading List Source URL: www.gravity.psu.edu Language: English - Date: 2006-08-31 15:34:21 Immirzi parameter CPT symmetry Gauge theory Spin network Lorentz covariance Invariant Momentum Physics Loop quantum gravity Kodama state
43	Noname manuscript No. (will be inserted by the editor) Loop Summarization using State and Transition Invariants Daniel Kroening · Natasha Sharygina · Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2012-10-23 07:45:17 Loop invariant Logic Interpretation Function Symbol Limit Μ operator Mathematics Model theory Control flow
44	L OOPFROG — loop summarization for static analysis Daniel Kroening Oxford University Comp. Lab., UK Aliaksei Tsitovich University of Lugano, Switzerland Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2011-03-25 19:46:35 Computing Nonassociative algebra Loop invariant Abstract interpretation Group theory Invariant For loop Model checking Infinite loop Software engineering Control flow Computer programming
45	Loop summarization and termination analysis? Aliaksei Tsitovich1 , Natasha Sharygina1 , Christoph M. Wintersteiger2 , and Daniel Kroening2 1 Formal Verification and Security Group, University of Lugano, Switzerland Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2011-01-11 17:53:38 Computer programming Loop invariant Termination analysis Invariant For loop Infinite loop Algorithm Software engineering Computing Control flow
46	Loopfrog: A Static Analyzer for ANSI-C Programs Daniel Kroening∗ , Natasha Sharygina† , Stefano Tonetta‡ , Aliaksei Tsitovich† and Christoph M. Wintersteiger§ ∗ Computing Laboratory, Oxford University, Oxford, Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2010-01-17 07:46:25 Formal methods Extended static checking Software testing Model checking Abstract interpretation Static program analysis Loop invariant Software verification C Software engineering Computing Computer programming
47	Molecular Cell Article Invariant U2 snRNA Nucleotides Form a Stem Loop to Recognize the Intron Early in Splicing Add to Reading List Source URL: ribonode.ucsc.edu Language: English - Date: 2010-05-24 13:58:02 RNA splicing Spliceosome U6 spliceosomal RNA U4 spliceosomal RNA U2 spliceosomal RNA Group II intron Minor spliceosome SnRNP U1 spliceosomal RNA RNA Genetics Biology
48	Conformally invariant scaling limits: an overview and a collection of problems Oded Schramm Add to Reading List Source URL: www.mathunion.org Language: English - Date: 2012-04-18 10:58:43 Mathematics Complex analysis Combinatorics Phase transitions Schramm–Loewner evolution Critical phenomena Loop-erased random walk Oded Schramm Percolation theory Statistics Stochastic processes Mathematical analysis